/* some temporary default values to make things more interesting. */

/* basic html tags, including canvas */
body {font-family: sans-serif;}
p {max-width: 700px}
pre{margin-bottom: 5px;}
li {max-width: 700px; padding: 2px;}
blockquote {font-family: serif;}

canvas.canvas { border: solid green 2px; }
canvas.plot { border: solid blue 2px; }

/* Messages styling */
.warning{color: red; font-weight: bold; font-size: 1.2em;}
.crunchy_comment{color:green; font-weight: bold;}

/* Basic Python Elements; color choice only for demonstration... */
.py_keyword{color: blue; font-weight: bold;}
.py_number{color: #FF0000;}
.py_comment{color: gray;}
.py_string{color: #660066;}
.py_variable{color: #000000;}
.py_op{font-weight: bold;}
.py_linenumber{font-size: small; color: #666666;}
.py_prompt{color:blue; }
.py_output{color:darkgreen; background-color: #f0f0dd;}

.fileinfo{ /* file path information inserted in the display: */
	font-size: 8pt; 
	color: black; 
	border: 1px solid black;
	display: block;
	position: fixed;
	top: 0px;
	right: 0;
}

/* result (text) of the code execution: */
span.stdout{ color : darkgreen; font-family: monospace; }
span.stderr{ color : darkred;  font-family: monospace }
span.error_info{ color : blue;}

/* div containing all terminal output except for doctests */
div.term_out {
	background-color: #f0f0dd;
	color: blue;
	font-family: monospace;
	min-height: 20px;
}
/* div containing doctest results */
div.doctest_out {
	background-color: #f0f0dd;
	color: darkred;
	font-family: monospace;
	min-height: 20px;
}
/*****
* Crunchy Frog Interpreter: 
*****/
.interp_output_container  {
    font: 10pt monospace;
    color:darkgreen; 
		background-color: #f5f5ec;
    white-space: -moz-pre-wrap; /* Mozilla, supported since 1999 */
    white-space: -pre-wrap; /* Opera 4 - 6 */
    white-space: -o-pre-wrap; /* Opera 7 */
    white-space: pre-wrap; /* CSS3 - Text module (Candidate Recommendation)
                            http://www.w3.org/TR/css3-text/#white-space */
    word-wrap: break-word; /* IE 5.5+ */
}
.stdin {  /* interpreter prompt */
		font: 10pt monospace;
		color: blue;
}
.interp_input { /* user input */
    font: 10pt monospace;
    width: 90%;
		border: 3px solid #C0C0CC;
		background-color: #eeffee;
}
.interp_tipbar {
    position: fixed;
    top: 10px;
    right: 10px;
    width: 50%;  
    border: 2px outset #DDCCBB;
    background-color: #FFEEDD;
    font: 9pt monospace;
    margin: 0;
    padding: 4px;
    white-space: -moz-pre-wrap; /* Mozilla, supported since 1999 */
    white-space: -pre-wrap; /* Opera 4 - 6 */
    white-space: -o-pre-wrap; /* Opera 7 */
    white-space: pre-wrap; /* CSS3 - Text module (Candidate Recommendation)
                            http://www.w3.org/TR/css3-text/#white-space */
    word-wrap: break-word; /* IE 5.5+ */
    display: none;  /* will appear only when needed */
		z-index:11;
}

/* the following class is used in some reference pages */
table.summary{
    border-collapse: separate;
    background-color: #f5f5dc;
    border-width: 1px 1px 1px 1px;
    border-spacing: 1px;
    border-style: outset outset outset outset;
    border-color: gray gray gray gray;
		}
table.summary th {
	border-width: 1px 1px 1px 1px;
	padding: 1px 1px 1px 1px;
	border-style: inset inset inset inset;
	border-color: gray gray gray gray;
}
table.summary td {
	border-width: 1px 1px 1px 1px;
	padding: 1px 1px 1px 1px;
	border-style: inset inset inset inset;
	border-color: gray gray gray gray;
}

